$\forall$${\it the\_es}$:ES, $e$, ${\it e'}$:E. $e$ c$\leq$ ${\it e'}$ $\Rightarrow$ (loc($e$) = loc(${\it e'}$) $\in$ Id) $\Rightarrow$ $e$ $\leq$loc ${\it e'}$